LeHavreV1, France, Analysis, bibRecord, 000705

F-RT-ETM: Toward Analysis and Formalizing Real Time Transaction and Data in Real-Time Database

Identifieur interne : 000705 ( France/Analysis ); précédent : 000704; suivant : 000706

F-RT-ETM: Toward Analysis and Formalizing Real Time Transaction and Data in Real-Time Database

Auteurs : Mourad Kaddes [Tunisie, France] ; Majed Abdouli [Tunisie] ; Laurent Amanton [France] ; Mouez Ali [Tunisie] ; Rafik Bouaziz [Tunisie] ; Bruno Sadeg [France]

Source :

Lecture Notes in Computer Science [ 0302-9743 ] ; 2011.

RBID : ISTEX:BD212A8F2A5EEBA7252C1DC1053C47B948E8E1B0

Abstract

Abstract: Due to the diversity of extended transaction models, their relative complexity and their lack of formalization, the characterization and the comparison of these models become delicate. Moreover, these models capture only one subset of interaction which can be found in the spectrum of the possible interactions. In front of this established fact, the framework ACTA was introduced. Our contribution in this field is twofold: (i) we extend ACTA by adding many dependencies for capturing a new interaction between transactions in real time environment, and we extend ACTA to take into account temporal characteristics of real-time data item (ii) we presented a meta-model that capture concept of an extended real time transaction model by using UML class diagram and its formal description using Z language.

Url:

https://api.istex.fr/document/BD212A8F2A5EEBA7252C1DC1053C47B948E8E1B0/fulltext/pdf

DOI: 10.1007/978-3-642-24443-8_11

Affiliations:

Links toward previous steps (curation, corpus...)

to stream Istex, to step Corpus: 000595
to stream Istex, to step Curation: 000595
to stream Istex, to step Checkpoint: 000117
to stream Main, to step Merge: 000831
to stream Main, to step Curation: 000830
to stream Main, to step Exploration: 000830
to stream France, to step Extraction: 000705

Links to Exploration step

ISTEX:BD212A8F2A5EEBA7252C1DC1053C47B948E8E1B0

Le document en format XML

<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">F-RT-ETM: Toward Analysis and Formalizing Real Time Transaction and Data in Real-Time Database</title>
<author><name sortKey="Kaddes, Mourad" sort="Kaddes, Mourad" uniqKey="Kaddes M" first="Mourad" last="Kaddes">Mourad Kaddes</name>
</author>
<author><name sortKey="Abdouli, Majed" sort="Abdouli, Majed" uniqKey="Abdouli M" first="Majed" last="Abdouli">Majed Abdouli</name>
</author>
<author><name sortKey="Amanton, Laurent" sort="Amanton, Laurent" uniqKey="Amanton L" first="Laurent" last="Amanton">Laurent Amanton</name>
</author>
<author><name sortKey="Ali, Mouez" sort="Ali, Mouez" uniqKey="Ali M" first="Mouez" last="Ali">Mouez Ali</name>
</author>
<author><name sortKey="Bouaziz, Rafik" sort="Bouaziz, Rafik" uniqKey="Bouaziz R" first="Rafik" last="Bouaziz">Rafik Bouaziz</name>
</author>
<author><name sortKey="Sadeg, Bruno" sort="Sadeg, Bruno" uniqKey="Sadeg B" first="Bruno" last="Sadeg">Bruno Sadeg</name>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">ISTEX</idno>
<idno type="RBID">ISTEX:BD212A8F2A5EEBA7252C1DC1053C47B948E8E1B0</idno>
<date when="2011" year="2011">2011</date>
<idno type="doi">10.1007/978-3-642-24443-8_11</idno>
<idno type="url">https://api.istex.fr/document/BD212A8F2A5EEBA7252C1DC1053C47B948E8E1B0/fulltext/pdf</idno>
<idno type="wicri:Area/Istex/Corpus">000595</idno>
<idno type="wicri:Area/Istex/Curation">000595</idno>
<idno type="wicri:Area/Istex/Checkpoint">000117</idno>
<idno type="wicri:doubleKey">0302-9743:2011:Kaddes M:f:rt:etm</idno>
<idno type="wicri:Area/Main/Merge">000831</idno>
<idno type="wicri:Area/Main/Curation">000830</idno>
<idno type="wicri:Area/Main/Exploration">000830</idno>
<idno type="wicri:Area/France/Extraction">000705</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">F-RT-ETM: Toward Analysis and Formalizing Real Time Transaction and Data in Real-Time Database</title>
<author><name sortKey="Kaddes, Mourad" sort="Kaddes, Mourad" uniqKey="Kaddes M" first="Mourad" last="Kaddes">Mourad Kaddes</name>
<affiliation wicri:level="1"><country xml:lang="fr">Tunisie</country>
<wicri:regionArea>Multimedia, Information Systems and Advanced Computing Laboratory, Sfax university, Route de Tunis km 10, PB 242, 3021, Sakeit Ezzeit</wicri:regionArea>
<wicri:noRegion>Sakeit Ezzeit</wicri:noRegion>
</affiliation>
<affiliation wicri:level="4"><country xml:lang="fr">France</country>
<wicri:regionArea>UFR Sciences et Techniques, Université du Havre, 25 rue Philippe Lebon, BP 540, 76058, Le Havre Cedex</wicri:regionArea>
<placeName><region type="region" nuts="2">Région Normandie</region>
<region type="old region" nuts="2">Haute-Normandie</region>
<settlement type="city">Le Havre</settlement>
</placeName>
<orgName type="university">Université du Havre</orgName>
</affiliation>
<affiliation></affiliation>
</author>
<author><name sortKey="Abdouli, Majed" sort="Abdouli, Majed" uniqKey="Abdouli M" first="Majed" last="Abdouli">Majed Abdouli</name>
<affiliation wicri:level="1"><country xml:lang="fr">Tunisie</country>
<wicri:regionArea>Multimedia, Information Systems and Advanced Computing Laboratory, Sfax university, Route de Tunis km 10, PB 242, 3021, Sakeit Ezzeit</wicri:regionArea>
<wicri:noRegion>Sakeit Ezzeit</wicri:noRegion>
</affiliation>
<affiliation></affiliation>
</author>
<author><name sortKey="Amanton, Laurent" sort="Amanton, Laurent" uniqKey="Amanton L" first="Laurent" last="Amanton">Laurent Amanton</name>
<affiliation wicri:level="4"><country xml:lang="fr">France</country>
<wicri:regionArea>UFR Sciences et Techniques, Université du Havre, 25 rue Philippe Lebon, BP 540, 76058, Le Havre Cedex</wicri:regionArea>
<placeName><region type="region" nuts="2">Région Normandie</region>
<region type="old region" nuts="2">Haute-Normandie</region>
<settlement type="city">Le Havre</settlement>
</placeName>
<orgName type="university">Université du Havre</orgName>
</affiliation>
<affiliation wicri:level="1"><country wicri:rule="url">France</country>
</affiliation>
</author>
<author><name sortKey="Ali, Mouez" sort="Ali, Mouez" uniqKey="Ali M" first="Mouez" last="Ali">Mouez Ali</name>
<affiliation wicri:level="1"><country xml:lang="fr">Tunisie</country>
<wicri:regionArea>Multimedia, Information Systems and Advanced Computing Laboratory, Sfax university, Route de Tunis km 10, PB 242, 3021, Sakeit Ezzeit</wicri:regionArea>
<wicri:noRegion>Sakeit Ezzeit</wicri:noRegion>
</affiliation>
<affiliation></affiliation>
</author>
<author><name sortKey="Bouaziz, Rafik" sort="Bouaziz, Rafik" uniqKey="Bouaziz R" first="Rafik" last="Bouaziz">Rafik Bouaziz</name>
<affiliation wicri:level="1"><country xml:lang="fr">Tunisie</country>
<wicri:regionArea>Multimedia, Information Systems and Advanced Computing Laboratory, Sfax university, Route de Tunis km 10, PB 242, 3021, Sakeit Ezzeit</wicri:regionArea>
<wicri:noRegion>Sakeit Ezzeit</wicri:noRegion>
</affiliation>
<affiliation></affiliation>
</author>
<author><name sortKey="Sadeg, Bruno" sort="Sadeg, Bruno" uniqKey="Sadeg B" first="Bruno" last="Sadeg">Bruno Sadeg</name>
<affiliation wicri:level="4"><country xml:lang="fr">France</country>
<wicri:regionArea>UFR Sciences et Techniques, Université du Havre, 25 rue Philippe Lebon, BP 540, 76058, Le Havre Cedex</wicri:regionArea>
<placeName><region type="region" nuts="2">Région Normandie</region>
<region type="old region" nuts="2">Haute-Normandie</region>
<settlement type="city">Le Havre</settlement>
</placeName>
<orgName type="university">Université du Havre</orgName>
</affiliation>
<affiliation wicri:level="1"><country wicri:rule="url">France</country>
</affiliation>
</author>
</analytic>
<monogr></monogr>
<series><title level="s">Lecture Notes in Computer Science</title>
<imprint><date>2011</date>
</imprint>
<idno type="ISSN">0302-9743</idno>
<idno type="eISSN">1611-3349</idno>
<idno type="ISSN">0302-9743</idno>
</series>
<idno type="istex">BD212A8F2A5EEBA7252C1DC1053C47B948E8E1B0</idno>
<idno type="DOI">10.1007/978-3-642-24443-8_11</idno>
<idno type="ChapterID">11</idno>
<idno type="ChapterID">Chap11</idno>
</biblStruct>
</sourceDesc>
<seriesStmt><idno type="ISSN">0302-9743</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass></textClass>
<langUsage><language ident="en">en</language>
</langUsage>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">Abstract: Due to the diversity of extended transaction models, their relative complexity and their lack of formalization, the characterization and the comparison of these models become delicate. Moreover, these models capture only one subset of interaction which can be found in the spectrum of the possible interactions. In front of this established fact, the framework ACTA was introduced. Our contribution in this field is twofold: (i) we extend ACTA by adding many dependencies for capturing a new interaction between transactions in real time environment, and we extend ACTA to take into account temporal characteristics of real-time data item (ii) we presented a meta-model that capture concept of an extended real time transaction model by using UML class diagram and its formal description using Z language.</div>
</front>
</TEI>
<affiliations><list><country><li>France</li>
<li>Tunisie</li>
</country>
<region><li>Haute-Normandie</li>
<li>Région Normandie</li>
</region>
<settlement><li>Le Havre</li>
</settlement>
<orgName><li>Université du Havre</li>
</orgName>
</list>
<tree><country name="Tunisie"><noRegion><name sortKey="Kaddes, Mourad" sort="Kaddes, Mourad" uniqKey="Kaddes M" first="Mourad" last="Kaddes">Mourad Kaddes</name>
</noRegion>
<name sortKey="Abdouli, Majed" sort="Abdouli, Majed" uniqKey="Abdouli M" first="Majed" last="Abdouli">Majed Abdouli</name>
<name sortKey="Ali, Mouez" sort="Ali, Mouez" uniqKey="Ali M" first="Mouez" last="Ali">Mouez Ali</name>
<name sortKey="Bouaziz, Rafik" sort="Bouaziz, Rafik" uniqKey="Bouaziz R" first="Rafik" last="Bouaziz">Rafik Bouaziz</name>
</country>
<country name="France"><region name="Région Normandie"><name sortKey="Kaddes, Mourad" sort="Kaddes, Mourad" uniqKey="Kaddes M" first="Mourad" last="Kaddes">Mourad Kaddes</name>
</region>
<name sortKey="Amanton, Laurent" sort="Amanton, Laurent" uniqKey="Amanton L" first="Laurent" last="Amanton">Laurent Amanton</name>
<name sortKey="Amanton, Laurent" sort="Amanton, Laurent" uniqKey="Amanton L" first="Laurent" last="Amanton">Laurent Amanton</name>
<name sortKey="Sadeg, Bruno" sort="Sadeg, Bruno" uniqKey="Sadeg B" first="Bruno" last="Sadeg">Bruno Sadeg</name>
<name sortKey="Sadeg, Bruno" sort="Sadeg, Bruno" uniqKey="Sadeg B" first="Bruno" last="Sadeg">Bruno Sadeg</name>
</country>
</tree>
</affiliations>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/France/explor/LeHavreV1/Data/France/Analysis

HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000705 | SxmlIndent | more

HfdSelect -h $EXPLOR_AREA/Data/France/Analysis/biblio.hfd -nk 000705 | SxmlIndent | more

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/France
   |area=    LeHavreV1
   |flux=    France
   |étape=   Analysis
   |type=    RBID
   |clé=     ISTEX:BD212A8F2A5EEBA7252C1DC1053C47B948E8E1B0
   |texte=   F-RT-ETM: Toward Analysis and Formalizing Real Time Transaction and Data in Real-Time Database
}}

This area was generated with Dilib version V0.6.25.
Data generation: Sat Dec 3 14:37:02 2016. Site generation: Tue Mar 5 08:25:07 2024

	Serveur d'exploration sur la visibilité du Havre
	Attention, ce site est en cours de développement ! Attention, site généré par des moyens informatiques à partir de corpus bruts. Les informations ne sont donc pas validées.

Serveur d'exploration sur la visibilité du Havre

F-RT-ETM: Toward Analysis and Formalizing Real Time Transaction and Data in Real-Time Database

F-RT-ETM: Toward Analysis and Formalizing Real Time Transaction and Data in Real-Time Database

Source :

Abstract

Links toward previous steps (curation, corpus...)

Links to Exploration step

Le document en format XML

Pour manipuler ce document sous Unix (Dilib)

Pour mettre un lien sur cette page dans le réseau Wicri